Nuprl Definition : lnk-inv
11,40
postcript
pdf
lnk-inv(
l
) == <(
l
.2).1,
l
.1,
l
.2.2>
latex
Definitions
<
a
,
b
>
,
t
.1
,
t
.2
FDL editor aliases
lnk-inv
origin